($\lambda$$z$.$\parallel$nil$\parallel$) $\in$ $\downarrow$True$\rightarrow\mathbb{Z}$